A MQTT/MQTT-SN-Based User Energy Management System for Automated Residential Demand Response: Formal Verification and Cyber-Physical Performance Evaluation

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automated Energy Scheduling Algorithms for Residential Demand Response Systems

Demand response technology is a key technology for distributing electricity tasks in response to electricity prices in a smart grid system. In the current demand response research, there has been much demand for an automated energy scheduling scheme that uses smart devices for residential customers in the smart grid. In this paper, two automated energy scheduling schemes are proposed for reside...

متن کامل

Human Behavior Aware Energy Management in Residential Cyber-Physical Systems

Technological advancements, such as smart appliances, have enabled residential buildings to become a true Cyber-Physical System (CPS), where the devices correspond to the physical system and the smart computation and control mechanisms define the cyber part. An important aspect of these residential cyber-physical systems is their large portion of the overall energy consumption in the electric g...

متن کامل

Formal Verification of Transportation Cyber Physical Systems

ion is the process of simplifying a simulation model to a more abstract (for example, reduced order) model for use in verification and other analysis. Performing automated model abstraction of large high-dimensional hybrid systems, and characterizing and quantifying the approximation and/or the abstraction function used to create the simpler model are challenging technical tasks. The abstract f...

متن کامل

DEV&DESS based Verification Tool for Cyber-Physical System

Cyber-Physical Systems (CPS) is a highly complex system integrating physical components having sensors/actuators with computing components for the control. As the complexity of the system, the system should be designed using model-based approach and it should be verified before an implementation. In this paper, we exploit a simulation methodology for verifying the designed system by model-based...

متن کامل

Demand Response and Energy Storage for Zero Energy Residential Buildings

The EU climate and energy targets and the decreasing costs have been leading to a growing utilization of solar photovoltaic generation in residential buildings. However, even in buildings with the same level of yearly generation and consumption the mismatch between the demand and the photovoltaic generation profiles leads to high power flows between the household and the grid, which is an ineff...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Applied Sciences

سال: 2018

ISSN: 2076-3417

DOI: 10.3390/app8071035